Distributed prototyping from validated specifications
نویسندگان
چکیده
منابع مشابه
Distributed Prototyping from Validated Specifications
We present vpl2cxx, a translator that automatically generates efficient, fully distributed C++ code from high-level system models specified in the mathematically well-founded VPL design language. As the Concurrency Workbench of the New Century (CWB-NC) verification tool includes a front-end for VPL, designers may use the full range of automatic verification and simulation checks provided by thi...
متن کاملRapid system prototyping from English specifications
Substantial progress is being made for rapid prototyping of systems through advances in behavioral and logic synthesis, both of which depend on specifications in formal notations such as hardware description languages. During the conceptual phase of new product development, however, system or architectural specifications are usually expressed in English or another natural language, possibly acc...
متن کاملSpecifications in Software Prototyping
We explore the use of software speci®cations for software prototyping. This paper describes a process model for software prototyping, and shows how speci®cations can be used to support such a process via a cellular mobile phone switch example. Ó 1998 Elsevier Science Inc. All rights reserved.
متن کاملRapid Prototyping using Formal Specifications
There is growing interest in animating formal specifications for the purpose of better understanding the requirements and for validating the specification. Formal specifications in a non-executable language offer challenges for animation systems, for example, dealing effectively with infinite data sets, sensibly animating functions which are not computable and determining a sensible set of inpu...
متن کاملPrototyping Relational Specifications Using Higher-Order Objects
An approach is described for the generation of certain mathematical objects (like sets, correspondences, mappings) in terms of relations using relation-algebraic descriptions of higher-order objects. From non-constructive characterizations executable relational speciications are obtained. We also show how to develop more eecient algorithms from the frequently ineecient speciications within the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2004
ISSN: 0164-1212
DOI: 10.1016/s0164-1212(03)00074-8